大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Carnegie Endowment for International Peace 的图书(共9033本)

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

0
索取号:
作者:Jhala、 Ranjit.、Schmidt、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues [electronic resource] : Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers

0
索取号:
作者:Esposito、 Anna.、Esposito、 Antonietta M.、Martone、 Raffaele.、M眉ller、 Vincent C.、Scarpetta、 Gaetano.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Security [electronic resource] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers

0
索取号:
作者:Burmester、 Mike.、Tsudik、 Gene.、Magliveras、 Spyros.、Ili膰、 Ivana.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part II

0
索取号:
作者:Chen、 Ran.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part I

0
索取号:
作者:Chen、 Ran.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

0
索取号:
作者:Gheorghe、 Marian.、Hinze、 Thomas.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

0
索取号:
作者:Domaratzki、 Michael.、Salomaa、 Kai.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号:
作者:Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers

0
索取号:
作者:Fernandes、 Jo茫o M.、L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithms and Models for the Web-Graph [electronic resource] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings

0
索取号:
作者:Kumar、 Ravi.、Sivakumar、 Dandapani.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Themes in Complex Systems VII [electronic resource] : Proceedings of the Seventh International Conference on Complex Systems

0
索取号:
作者:Minai、 Ali A.、Braha、 Dan.、Bar-Yam、 Yaneer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Ad Hoc Networks [electronic resource] : Second International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, Revised Selected Papers

0
索取号:
作者:Zheng、 Jun.、Simplot-Ryl、 David.、Leung、 Victor C. M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security Applications [electronic resource] : 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers

0
索取号:
作者:Chung、 Yongwha.、Yung、 Moti.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computers and Games [electronic resource] : 7th International Conference, CG 2010, Kanazawa, Japan, September 24-26, 2010, Revised Selected Papers

0
索取号:
作者:Herik、 H. Jaap.、Iida、 Hiroyuki.、Plaat、 Aske.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Schoolchildren as Propaganda Tools in the War on Terror [electronic resource] : Violating the Rights of Afghani Children under International Law

0
索取号:
作者:Grover、 Sonja C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computational Fluid Dynamics 2010 [electronic resource] : Proceedings of the Sixth International Conference on Computational Fluid Dynamics, ICCFD6, St Petersburg, Russia, on July 12-16, 2010

0
索取号:
作者:Kuzmin、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类